منابع مشابه
On the Classical Decision Problem
Q: I did? Well, there is no doubt in my mind that feasibility is the real issue, but I keep bumping into the classical decision problem. Most recently, this happened when I looked up a paper of Kolaitis and Vardi [KV] on the 0{1 law. (This law is, by the way, another issue I would like to discuss with you sometime.) Besides, the two issues { decidability and feasibility { are obviously related....
متن کاملWhat Is the Problem with Proof Nets for Classical Logic?
There is a very close and well-understood relationship between proofs in intuitionistic logic, simply typed lambda-terms, and morphisms in Cartesian closed categories. The same relationship can be established for multiplicative linear logic (MLL), where proof nets take the role of the lambda-terms, and starautonomous categories the role of Cartesian closed categories. It is certainly desirable ...
متن کاملClassical Center Location Problem Under Uncertain Environment
This paper investigates the $p$-center location problem on a network in which vertex weights and distances between vertices are uncertain. The concepts of the $alpha$-$p$-center and the expected $p$-center are introduced. It is shown that the $alpha$-$p$-center and the expected $p$-center models can be transformed into corresponding deterministic models. Finally, linear time algorithms for find...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولA Modal Logic for the Decision-Theoretic Projection Problem
The authors present a decidable logic in which queries can be posed about (i) the degree of belief in a propositional sentence after an arbitrary finite number of actions and observations and (ii) the utility of a finite sequence of actions after a number of actions and observations. Another contribution of this work is that a POMDP model specification is allowed to be partial or incomplete wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1967
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093956090